退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种求解组合问题的约束功能逻辑语言
Antonio J. Fernández; Teresa Hortalá-gonzález; Fernando Sáenz-pérez;
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:在对象约束编程语言中检查和平衡约束求解而不会感到惊讶
机译:用约束功能逻辑语言解决组合问题
机译:用于几何约束求解的图和组合算法。
机译:句子加工中的一种人工语言:学习和使用组合约束
机译:用约束函数逻辑语言解决组合问题
机译:基于功能等价组合逻辑系列的混淆框架;硕士论文
机译:组合求解器和逻辑求解器计划器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。